Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
91	Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic
92	PANOECONOMICUS, 2010, 2, pp[removed]Received: 17 March 2010. Add to Reading List Source URL: www.doiserbia.nb.rs Language: English - Date: 2010-06-30 05:13:16 Philosophy of mathematics Mathematical logic Epistemology Formal systems Mathematical constructivism John von Neumann Foundations of mathematics Formalism David Hilbert Mathematics Science Logic
93	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory
94	Journ. Symb. Logic, [removed], 1174–1150. Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:46:42 Mathematical logic Epistemology Intuitionism Bar induction Mathematical induction Luitzen Egbertus Jan Brouwer Indecomposable continuum Indecomposability Constructivism Mathematics Mathematical constructivism Logic
95	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings
96	CONSTRUCTIVISM AND PROOF THEORY A.S.Troelstra, ILLC, University van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2004-07-23 05:38:06 Mathematics Proof theory Intuitionism Epistemology Philosophy of mathematics Intuitionistic logic Heyting arithmetic Constructivism Realizability Logic Mathematical logic Mathematical constructivism
97	Theoretical Computer Science[removed]–252 From constructivism to computer science 1 Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 1998-11-22 11:04:55 Mathematical constructivism Proof theory Epistemology Philosophy of mathematics Intuitionistic logic Realizability Curry–Howard correspondence Constructivism Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
98	Logic as Based on Incompatibility Jaroslav Peregrin∗ Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2011-06-14 00:36:50 Mathematical constructivism Function Universal quantification Entailment Intuitionistic logic Inference Heyting algebra Logic Mathematics Logical consequence
99	being abandoned. Let us analyse some of these events and issues in greater detail. Add to Reading List Source URL: personal.us.es Language: English - Date: 2009-07-10 08:53:39 Mathematical logic Logicism Foundations of mathematics Intuitionism Set theory Impredicativity Constructivism Axiomatic system Axiom of choice Mathematics Logic Philosophy of mathematics
100	MFPS XX1 Preliminary Version First Steps in Synthetic Computability Theory Add to Reading List Source URL: math.andrej.com Language: English - Date: 2010-10-25 00:29:28 Computability theory Model theory Functions and mappings Theory of computation Models of computation Function Interpretation First-order logic Constructivism Mathematical logic Mathematics Logic

UPDATE